%—————————————* % Turn off  as letter before we exit

\catcode‘1=2 %  is not a letter

%>>> EOF ruled.tex <<<

This document was generated on January 31, 2023 using texi2html 5.0.